منابع مشابه
Improving OO Example Programs
When teaching object oriented programming, educators rely heavily on textbook examples. However, research shows that such examples are often of insufficient quality regarding their object-oriented characteristics. In this paper, we present a number of guidelines for designing or improving object oriented example programs for novices. Using actual textbook examples, we show how the guidelines ca...
متن کاملA Separation Logic for OO Programs
We present a general storage model that reflects features of object oriented (OO) languages with pure reference semantics. Based on this model, we develop an OO Separation Logic (OOSL) to specify and verify OO programs. Many inference rules in the Separation Logic still hold in OOSL. Additionally, OOSL has certain properties important to OO reasoning. We introduce HoareTriple for a small OO lan...
متن کاملMemory Usage Verification for OO Programs
We present a new type system for an object-oriented (OO) language that characterizes the sizes of data structures and the amount of heap memory required to successfully execute methods that operate on these data structures. Key components of this type system include type assertions that use symbolic Presburger arithmetic expressions to capture data structure sizes, the effect of methods on the ...
متن کاملEvaluating OO-CASE Tools: OO Research Meets Practice
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-oriented software. The possibility to generate skeleton code motivates development teams to construct a good design before coding. Developers subsequently add the remaining code; CASE tools then offer support for keeping mo...
متن کاملAre Common OO Example Programs Exemplary? An Evaluation of the State-of-Practice
Educators are struggling finding or developing object oriented example programs of high quality. Common examples are often perceived as not fully faithful to all principles and guidelines of the object oriented paradigm or as not following general pedagogical principles and practices. This working group aims at investigating the “State-ofPractice” of object-oriented example programs for novices...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGCSE Bulletin
سال: 2008
ISSN: 0097-8418
DOI: 10.1145/1597849.1384286